Mines ParisTech - PDFSEARCH.IO - Document Search Engine

Mines ParisTech
Results: 376

#	Item
261	Automatic Streamization in GCC Antoniu Pop MINES ParisTech, Centre de Recherche en Informatique, Mathématiques et Systèmes Sebastian Pop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-07-21 08:36:55 OpenMP Parallel computing Software engineering The Alphabet Cipher Four-square cipher Computer programming Computing Fortran
262	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
263	Towards a unification of waterfalls, standard and P algorithms Serge Beucher Center of Mathematical Morphology, Mines ParisTech JanuaryIntroduction Add to Reading List Source URL: cmm.ensmp.fr Language: English - Date: 2012-01-18 07:54:03 Algorithm Computer vision Mathematics Applied mathematics Image processing Segmentation Watershed
264	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
265	TP R´evisions. . . Fabien Coelho MINES ParisTech 21 mai 2014 R´ Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-02-19 11:02:18
266	Compiling for a Heterogeneous Vector Image Processor? Fabien Coelho and Fran¸cois Irigoin CRI, Maths & Systems, MINES ParisTech, France firstname.lastname @mines-paristech.fr Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-05-02 03:54:30 Graphics hardware Electronics GPGPU Video game development Virtual reality Graphics processing unit Vector processor SIMD Accelerator Computing Parallel computing Computer hardware
267	FEEVER Mee(ng – October 13,2014 Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-10-14 15:49:58 Software engineering Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Diophantine equation Function Type theory Data types Mathematics
268	Morphological Image Segmentation: A User’s Guide Serge BEUCHER Centre de Morphologie Mathématique Mines Paristech Add to Reading List Source URL: cmm.ensmp.fr Language: English - Date: 2011-03-28 16:22:16 Watershed Segmentation Fontainebleau Image segment Drainage basin Centre de Morphologie Mathématique Image processing Mathematical morphology Water
269	GEODESIE et TRANSFORMATIONS GEODESIQUES Serge BEUCHER CMM – Mines ParisTech Add to Reading List Source URL: cmm.ensmp.fr Language: French - Date: 2014-11-20 09:21:22
270	Des r´eels aux flottants : pr´eservation automatique de preuves de stabilit´e de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University Abstract Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-04-02 09:27:19

UPDATE